Büchi automaton - PDFSEARCH.IO - Document Search Engine

Büchi automaton
Results: 70

#	Item
41	On Determinisation of History-Deterministic Automata. Denis Kuperberg Michal Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-07 08:10:22 Computer science Finite-state machine Büchi automaton Deterministic pushdown automaton Automata theory Models of computation Theoretical computer science
42	Enforceable Security Policies FRED B. SCHNEIDER Cornell University A precise characterization is given for the class of security policies enforceable with mechanisms that work by monitoring system execution, and automata Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 17:13:32 Formal methods Security Büchi automaton Computer security State Security policy Kernel Finite-state machine Models of computation Automata theory Theoretical computer science
43	Weighted Finite-State Transducer Algorithms An Overview Mehryar Mohri AT&T Labs – Research Shannon Laboratory 180 Park Avenue, Florham Park, NJ 07932, USA Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 09:41:32 Finite state transducer Applied mathematics Mathematics Semiring Finite-state machine Computing Büchi automaton Automata theory Models of computation Formal languages
44	Recognizing safety and liveness Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 15:44:12 Computer science Büchi automaton Finite-state machine Powerset construction Infinite tree automaton Ω-automaton Automata theory Theoretical computer science Models of computation
45	Verifying Temporal Properties without Temporal Logic BOWEN ALPERN IBM T. J. Watson Research Center and FRED B. SCHNEIDER Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 15:52:48 Mathematical logic Büchi automaton First-order logic Finite-state machine FO Function Nested word Muller automaton Automata theory Theoretical computer science Mathematics
46	Electronic Notes in Theoretical Computer Science[removed]URL: http://www.elsevier.nl/locate/entcs/volume61.html 13 pages A Category-Theoretic Approach to Social Network Analysis Anthony H. Dekker 1 Add to Reading List Source URL: members.ozemail.com.au Language: English - Date: 2001-10-17 01:11:47 Model checking Abstract simplicial complex Büchi automaton Mathematics Automata theory Function
47	The Theory of Trackability with Applications to Sensor Networks VALENTINO CRESPI California State University at Los Angeles GEORGE CYBENKO Dartmouth College Add to Reading List Source URL: www.dartmouth.edu Language: English - Date: 2011-02-03 16:20:33 Matrix Wireless sensor network Büchi automaton Finite-state machine Computing Technology Mathematics Automata theory Models of computation Deterministic finite automaton
48	International Journal of Foundations of Computer Science c World Scientific Publishing Company Edit-Distance of Weighted Automata: General Definitions and Algorithms Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 09:40:05 Formal languages Mathematics Finite state transducer Computer science Semiring Finite-state machine Sequence Büchi automaton Automata theory Models of computation Theoretical computer science
49	Algorithms for Speech Recognition and Language Processing Mehryar Mohri Michael Riley Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-21 09:19:29 Computer science Applied mathematics Mehryar Mohri Nondeterministic finite automaton Finite-state machine Speech recognition Finite state transducer Büchi automaton Automata theory Models of computation Theoretical computer science
50	Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-10-02 15:04:33 Büchi automaton Muller automaton Ω-automaton Finite-state machine Powerset construction Nondeterministic finite automaton Generalized Büchi automaton Automata theory Theoretical computer science Computer science